Modeling Multimedia Displays Using Action Based Temporal Logic
نویسندگان
چکیده
We present a metalanguage, named Alan that can be used to model dynamic multimedia displays, particularly those that display multimedia database query results. Alan is an action language that uses temporal logic to model nonMarkovian systems. We show how it can be used for specifying the behavior of fairly complex dynamic multimedia display systems, modeling all graphical user interface elements on the display plus the effects of actions and of the passage of time on media such as video and audio.
منابع مشابه
Modeling and Analyzing SMIL Documents in SAM
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaining the time-ordered relations among the component media is vital to satisfying quality of service (QoS) requirements. This paper proposes a formal approach to modeling and analyzing temporal aspects of SMIL documents us...
متن کاملNew Generation Database Technologies for Collaborative Work Support and Spatio-Temporal Data Management
Support of collaborative work and management of spatio-temporal data has become one of the most interesting and important database applications, which is due to the tremendous progress of database and its surrounding technologies in the last decade. In this paper, we investigate the new generation database technologies that are needed to support such advanced applications. Because of the recent...
متن کاملContext-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملTemporal Consistency among Five-sensory Events: Application to Multimedia Technology
While transmitting multi or fivesensory information after transduction, the concept of temporal consistency becomes an important issue at the receiving end from the point of view of context. Any violation of temporal consistency among the different decoded sensory information can lead to a failure of context, thereby making the multisensory system ineffective in creating unified percept and bri...
متن کاملSynchronization and storage models for multimedia objects - Selected Areas in Communications, IEEE Journal on
Multimedia computer systems are required to store, retrieve, and communicate objects comprised of mixed data types including images, text, and voice. An important aspect of multimedia systems is the integration of elements retrieved from databases distributed across a network. Integration of object components requires consideration of the temporal characteristics of multimedia elements. We prop...
متن کامل